Suppl: A Flexible Language for Policies
نویسندگان
چکیده
We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, executing, and analyzing event-condition-action policies. Suppl uses a novel combination of pure logic programming and disciplined imperative programming features to make it easy for non-expert users to express common policy idioms. The language is strongly typed and moded to allow static detection of common programming errors, and it supports a novel logic-based static analysis that can detect internally inconsistent policies. Suppl has been implemented as a compiler to Prolog and used to build several network security applications in a Java framework.
منابع مشابه
Static conflict detection for a policy language∗
We present a static control flow analysis used in the Simple Unified Policy Programming Language (Suppl) compiler to detect internally inconsistent policies. For example, an access control policy can decide to both “allow” and “deny” access for a user; such an inconsistency is called a conflict. Policies in Suppl follow the Event-Condition-Action paradigm; predicates are used to model condition...
متن کاملForeign Language Education Policies in Iran: Pivotal Macro Considerations
Foreign Language Education Policy (FLEP) needs to be understood as part of broader educational policies and as situated within overarching social macro plans. In this paper, based on a conception of policy as distinct from goals and objectives, and with a view of the relevant literature, we will present some theoretical guidelines of setting and/or evaluating foreign language education policies...
متن کاملScaffolding for English as Foreign Language Writers: Writing a Scholastic Essay
This article describes how a group of Iranian upper-intermediate EFL learners were guided through the practice of writing their first academic essays in English. The method applied the principle of scaffolding to the essay writing process by providing flexible support for the learners during the writ- ing their first essays. Scaffolding included a number of aspects, each of which is explained i...
متن کاملRei: A Policy Language for the Me-Centric Project
Policies guide the way entities within a domain act, by providing rules for their behavior. Most of the research in policies is within a certain application area, for example security for databases, and there are no general specifications for policies. Another problem with policies is that they require domain dependent information, forcing researchers to create policy languages that are bound t...
متن کاملControlled natural language policies∗
Policy languages allow users to define in a flexible way under which conditions their data can be shared and with whom. Nonetheless policy languages are not widely used yet: one reason for this is that they are too complex to be easily exploited by common users in a profitable way. This paper describes an approach that uses (controlled) natural language in order to express policies, therefore a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014